Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Appalachian set theory, 2006-2012 / Edited by James Cummings, Ernest Schimmerling
| Appalachian set theory, 2006-2012 / Edited by James Cummings, Ernest Schimmerling |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 2013 |
| Descrizione fisica | XI, 419 p. ; 23 cm |
| Disciplina | 511.322 |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato |
Logica matematica e fondamenti - Atti di conferenze
Teoria degli insiemi Atti di conferenze di interesse specifico vario |
| ISBN | 978-1-107-60850-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009804110403321 |
| Cambridge : Cambridge University Press, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dynamical formal epistemology / edited by Patrick Girard, Olivier Roy and Mathieu Marion
| Dynamical formal epistemology / edited by Patrick Girard, Olivier Roy and Mathieu Marion |
| Autore | Girard, Patrick |
| Pubbl/distr/stampa | Dordrecht : Springer, 2011 |
| Descrizione fisica | X, 242 p. ; 24 cm |
| Disciplina | 511 |
| Altri autori (Persone) |
Roy, Olivier
Marion, Mathieu |
| Collana | Synthese library |
| Soggetto non controllato |
Logica matematica e fondamenti - Atti di conferenze
Logica della conoscenza e delle opinioni Atti di conferenze di interesse specifico vario |
| ISBN |
978-94-007-0073-4
978-94-007-0074-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009338740403321 |
Girard, Patrick
|
||
| Dordrecht : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Groups and model theory : in honor of Rüdiger Göbel's 70th birthday, May 30-June 3, 2011, conference center "Die Wolfsburg", Mühlheim an der Ruhr, Germany / Luz Strüngmann, Manfred Droste, László Fuchs, Katrin Tent, editors
| Groups and model theory : in honor of Rüdiger Göbel's 70th birthday, May 30-June 3, 2011, conference center "Die Wolfsburg", Mühlheim an der Ruhr, Germany / Luz Strüngmann, Manfred Droste, László Fuchs, Katrin Tent, editors |
| Pubbl/distr/stampa | Providence : American Mathematical Society, 2012 |
| Descrizione fisica | XVII, 316 p. ; 26 cm |
| Disciplina | 512'.2 |
| Collana | Contemporary mathematics |
| Soggetto non controllato |
Teoria dei gruppi e generalizzazioni - Atti di conferenze
Logica matematica e fondamenti - Atti di conferenze Gruppi Abeliani |
| ISBN | 978-0-8218-6923-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009647080403321 |
| Providence : American Mathematical Society, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009, Washington, DC / Martin Grohe, Johann A. Makowsky, editors
| Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009, Washington, DC / Martin Grohe, Johann A. Makowsky, editors |
| Pubbl/distr/stampa | Providence : American Mathematical Society, 2011 |
| Descrizione fisica | VIII, 519 p. ; 26 cm |
| Disciplina | 519.2 |
| Collana | Contemporary mathematics |
| Soggetto non controllato |
Logica matematica e fondamenti - Atti di conferenze
Combinatorica - Atti di conferenze Scienza del computer - Atti di conferenze |
| ISBN | 978-0-8218-4943-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009526110403321 |
| Providence : American Mathematical Society, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||